@TechReport{nofus11tr,
  title        = {Decision Procedures for Composition and Equivalence of Symbolic Finite State Transducers},
  author       = "Margus Veanes and David Molnar and Benjamin Livshits",
  year         = "2011",
  month        = march,
  institution  = "Microsoft Research",
  number       = "MSR-TR-2011-32",
}